1.
Symbolic Logic and Mechanical Theorem Proving
by Chang, Chin-Liang, Lee, Ric...
ISBN: 9780121703509
List Price: $78.95
2.
Symbolic Logic and Mechanical Theorem Proving
by Chang, Chin-Liang, Lee, Ric...
ISBN: 9781493300242
List Price: $72.95